Having defined a notion of homology for paired graphs, Métayer ([Ma]) proves a homological correctness criterion for proof nets, and states that for any proof net \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $G$\end{document} there exists a Jordan-Hölder decomposition of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\mathsf H}_0(G)$\end{document}. This decomposition is determined by a certain enumeration of the pairs in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $G$\end{document}. We correct his (...) proof of this fact and show that there exists a 1-1 correspondence between these Jordan-Hölder decompositions of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\mathsf H}_0(G)$\end{document} and the possible ‘construction-orders’ of the par-net underlying \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $G$\end{document}. (shrink)

Het Leids-Haags Allegorieënlexicon toont nieuwe perspectieven op de maatschappelijke werkelijkheid met een actuele duiding van vijftig kernthema’s uit de wetenschap. De auteurs zijn de duale promovendi en hun promotores van Leiden University Dual PhD Centre The Hague. Ze worden daarbij geïnspireerd door de metafoor van de grot van Plato: Waar ben ik? Waar sta ik? Welk beeld zie ik? Hoe kan ik dat begrijpen? Er ontstaan beeldende voorstellingen van begrippen waarin op zoek wordt gegaan naar de centrale gedachten die ten (...) grondslag liggen aan die begrippen. Zo wordt de veranderende wereld waargenomen met het besef dat we nooit kunnen weten of we de gehele werkelijkheid kunnen zien of begrijpen. De waarneming is afhankelijk van de zichtpositie die de waarnemer inneemt. Zo ontstaan verbeeldingen van waarnemingen van ons menselijk bestaan. Zoals: assimilatie, creativiteit, gender, kunstenaarschap, magistraat, participatie, regels, tragedie en verzorgingsstaat. Eerst wordt actuele literatuur besproken. Daarna volgt discussie. Tenslotte neemt de auteur positie in. Met bijdragen van promotores Wilfried Admiraal, Ingrid van Biezen, Hans Borgman, Paul Cliteur, Jaap van den Herik, Rikki Holtmaat, Willem Otterspeer, Jos Raadschelders, Robert Tijssen, Wim Willems en promovendi. (shrink)

In the study of nonmonotonic reasoning the main emphasis has been on static (declarative) aspects. Only recently has there been interest in the dynamic aspects of reasoning processes, particularly in artificial intelligence. We study the dynamics of reasoning processes by using a temporal logic to specify them and to reason about their properties, just as is common in theoretical computer science. This logic is composed of a base temporal epistemic logic with a preference relation on models, and an associated nonmonotonic (...) inference relation, in the style of Shoham, to account for the nonmonotonicity. We present an axiomatic proof system for the base logic and study decidability and complexity for both the base logic and the nonmonotonic inference relation based on it. Then we look at an interesting class of formulas, prove a representation result for it, and provide a link with the rule of monotonicity. (shrink)

Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a system, is (...) explored. A completion operation on aspecific type of temporal theories, temporal completion, is introducedto be able to use classical proof techniques in verification withrespect to non-classical semantics covering default persistence. (shrink)

Reductive intellectualists hold that knowledge-how is a kind of knowledge-that. For this thesis to hold water, it is obviously important that knowledge-how and knowledge-that have the same epistemic properties. In particular, knowledge-how ought to be compatible with epistemic luck to the same extent as knowledge-that. It is argued, contra reductive intellectualism, that knowledge-how is compatible with a species of epistemic luck which is not compatible with knowledge-that, and thus it is claimed that knowledge-how and knowledge-that come apart.

When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980). A characteristic of this formalism is that the applicability of default (inference) rules can only be verified in the future of the reasoning process. We describe an interpretation of default logic in temporal epistemic logic which makes this characteristic explicit. It is shown that this interpretation yields a semantics (...) for default logic based on temporal epistemic models. A comparison between the various semantics for default logic will show the differences and similarities of these approaches and ours. (shrink)

There are many ways to assess face perception skills. In this study, we describe a novel task battery FEAST (Facial Expression Action Stimulus Test) developed to test recognition of identity and expressions of human faces as well as stimulus control categories. The FEAST consists of a neutral and emotional face memory task, a face and object identity matching task, a face and house part-to-whole matching task, and a human and animal facial expression matching task. The identity and part-to-whole matching tasks (...) contain both upright and inverted conditions. The results provide reference data of a healthy sample of controls in two age groups for future users of the FEAST. (shrink)

In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can be seen as a sequence of information states which describe what has been derived at each time point. A transition from an information state at a point in time to the state at the (or a) next time point is induced by one or more inference steps. We choose to (...) model the information states by partial models and the patterns either by linear time or branching time temporal models. Using temporal logic one can define theories and look at all models of that theory. For a number of examples of reasoning behaviour we have been able to define temporal theories such that its (minimal) models correspond to the valid patterns of the behaviour. These theories prescribe that the inference steps which are possible, are “executed” in the temporal model. The examples indicate that partial temporal logic is a powerful means of describing and formalizing complex reasoning patterns, as the dynamic aspects of reasoning systems are integrated into the static ones in a clear fashion. (shrink)

ABSTRACT Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: a specification language for level 1, with formal semantics based on belief state frames, a fragment of infinitary temporal logic as a general specification language for level 2, (...) with formal semantics based on reasoning frames. In our framework every level 2 description can be abstracted to level 1, and for every level 1 description there are level 2 descriptions which are a specialization of it. (shrink)

Temporal logic can be used to describe processes: their behaviour ischaracterized by a set of temporal models axiomatized by a temporaltheory. Two types of models are most often used for this purpose: linearand branching time models. In this paper a third approach, based onsocalled joint closure models, is studied using models which incorporateall possible behaviour in one model. Relations between this approach andthe other two are studied. In order to define constructions needed torelate branching time models, appropriate algebraic notions are (...) defined(in a category theoretical manner) and exploited. In particular, thenotion of joint closure is used to construct one model subsuming a setof models. Using this universal algebraic construction we show that aset of linear models can be merged to a unique branching time model.Logical properties of the described algebraic constructions are studied.The proposed approach has been successfully aplied to obtain anappropriate semantics for non-monotonic reasoning processes based ondefault logic. References are discussed that show the details of theseapplications. (shrink)

Aristotle is widely regarded as the greatest of all philosophers; indeed, he is traditionally referred to simply as `the philosopher'. Today, after more than two millennia, his arguments and ideas continue to stimulate philosophers and provoke them to controversy. In this book J.L. Ackrill conveys the force and excitement of Aristotle's philosophical investigations, thereby showing why contemporary philosophers still draw from him and return to him. He quotes extensively from Aristotle's works in his own notably clear English translation, and a (...) picture emerges of a lucid, lively, subtle and tough-minded thinker of astonishing range and penetration. Professor Ackrill identifies many striking connections between Aristotle's ideas and ideas in recent philosophy; he also raises philosophical questions of his own, and exemplifies the way in which Aristotle can still be argued with and learned from. (shrink)

A historical investigation of the exclusion of Africa and Asia from modern histories of philosophy.

This paper argues that for the purposes of any sort of serious discussion about immoral conduct in sport very little is illuminated by claiming that the conduct in question is cheating. In fact, describing some behavior as cheating is typically little more than expressing strong, but thoroughly vague and imprecise, moral disapproval or condemnation of another person or institution about a wide and ill-defined range of improper advantage-seeking behavior. Such expressions of disapproval fail to distinguish cheating from many other types (...) of immoral conduct. The discussion shows that we should set the concept aside and assess the moral disapproval implied by claims of cheating by reference to the moral and other principles that underlie the practice of sport. This allows us to consider carefully the complexity of the issues that are raised when allegations of cheating are made and not be distracted by the emotionally loaded, conversation-stopping tendency of the concept. This means that some types of disputes in sport will be messy and demand more effort to resolve, but the payoff will be better informed and more thoughtful discussions and greater awareness of the moral complexity of sport and of its principled underpinnings. (shrink)

This comprehensive and important volume includes contributions by activists, journalists, lawyers and scholars from twenty-one countries. The essays map the directions the movement for women's rights is taking--and will take in the coming decades--and the concomittant transformation of prevailing notions of rights and issues. They address topics such as the rapes in former Yugoslavia and efforts to see that a War Crimes Tribunal responds; domestic violence; trafficking of women into the sex trade; the persecution of lesbians; female genital mutilation; and (...) reproductive rights. (shrink)

The posterior parietal cortex (PPC) is the most likely site where egocentric spatial relationships are represented in the brain. PPC cells receive visual, auditory, somaesthetic, and vestibular sensory inputs; oculomotor, head, limb, and body motor signals; and strong motivational projections from the limbic system. Their discharge increases not only when an animal moves towards a sensory target, but also when it directs its attention to it. PPC lesions have the opposite effect: sensory inattention and neglect. The PPC does not seem (...) to contain a “map” of the location of objects in space but a distributed neural network for transforming one set of sensory vectors into other sensory reference frames or into various motor coordinate systems. Which set of transformation rules is used probably depends on attention, which selectively enhances the synapses needed for making a particular sensory comparison or aiming a particular movement. (shrink)

Vaesen infers unique properties of mind from the appearance of specific cultural innovation – a correlation without causal direction. Shifts in habitat, population density, and group dynamics are the only independently verifiable incentives for changes in cultural practices. The transition from Acheulean to Late Stone Age technologies requires that we consider how population and social dynamics affect cultural innovation and mental function.

Isaac Newton wrote the manuscript Questiones quaedam philosophicae at the very beginning of his scientific career. This small notebook thus affords rare insight into the beginnings of Newton's thought and the foundations of his subsequent intellectual development. The Questiones contains a series of entries in Newton's hand that range over many topics in science, philosophy, psychology, theology, and the foundations of mathematics. These notes, written in English, provide a very detailed picture of Newton's early interests, and record his critical appraisal (...) of contemporary issues in natural philosophy. Written predominantly in 1664-5, they give a significant perspective on Newton's thought just prior to his annus mirabilis, 1666. This volume provides a complete transcription of the Questiones, together with an 'expansion' into modern English, and a full editorial commentary on the content and significance of the notebook in the development of Newton's thought. It will be essential reading for all those interested in Newton and the intellectual foundations of science. (shrink)

In management research, theory testing confronts a paradox described by Meehl in which designing studies with greater methodological rigor puts theories at less risk of falsification. This paradox exists because most management theories make predictions that are merely directional, such as stating that two variables will be positively or negatively related. As methodological rigor increases, the probability that an estimated effect will differ from zero likewise increases, and the likelihood of finding support for a directional prediction boils down to a (...) coin toss. This paradox can be resolved by developing theories with greater precision, such that their propositions predict something more meaningful than deviations from zero. This article evaluates the precision of theories in management research, offers guidelines for making theories more precise, and discusses ways to overcome barriers to the pursuit of theoretical precision. (shrink)

Recent studies indicate that mammalian chromosomes contain discretecis‐acting loci that control replication timing, mitotic condensation, and stability of entire chromosomes. Disruption of the large non‐coding RNA gene ASAR6 results in late replication, an under‐condensed appearance during mitosis, and structural instability of human chromosome 6. Similarly, disruption of the mouse Xist gene in adult somatic cells results in a late replication and instability phenotype on the X chromosome. ASAR6 shares many characteristics with Xist, including random mono‐allelic expression and asynchronous replication timing. (...) Additional “chromosome engineering” studies indicate that certain chromosome rearrangements affecting many different chromosomes display this abnormal replication and instability phenotype. These observations suggest that all mammalian chromosomes contain “inactivation/stability centers” that control proper replication, condensation, and stability of individual chromosomes. Therefore, mammalian chromosomes contain four types ofcis‐acting elements, origins, telomeres, centromeres, and “inactivation/stability centers”, all functioning to ensure proper replication, condensation, segregation, and stability of individual chromosomes. (shrink)

Providing an original and systematic treatment of foundational issues in philosophy of religion, J. L. Schellenberg's new book addresses the structure of..

According to realist structuralism, mathematical objects are places in abstract structures. We argue that in spite of its many attractions, realist structuralism must be rejected. For, first, mathematical structures typically contain intra-structurally indiscernible places. Second, any account of place-identity available to the realist structuralist entails that intra-structurally indiscernible places are identical. Since for her mathematical singular terms denote places in structures, she would have to say, for example, that 1 = − 1 in the group (Z, +). We call this (...) the identity problem and conclude that nominalism is presently the safest route for the structuralist. (shrink)

"The ancient and modern question of what is the nature of man and his activity and what ought to be the directions pursued in this activity is once again being ...

Ned Block argues that the higher-order (HO) approach to explaining consciousness is ‘defunct’ because a prominent objection (the ‘misrepresentation objection’) exposes the view as ‘incoherent’. What’s more, a response to this objection that I’ve offered elsewhere (Weisberg 2010) fails because it ‘amounts to abusing the notion of what-it’s-like-ness’ (xxx).1 In this response, I wish to plead guilty as charged. Indeed, I will continue herein to abuse Block’s notion of what-it’s-like-ness. After doing so, I will argue that the HO approach accounts (...) for the sense of what-it’s-like-ness that matters in a theory of consciousness. I will also argue that the only incoherence present in the HO theory is that generated by embracing Block’s controversial notion of what-it’s-like-ness, something no theorist of any stripe ought to do. Block is famous for (among other things) having introduced the notion of ‘phenomenal consciousness’ into contemporary philosophy of mind (Block 1995). This term is widely employed in the philosophical literature and it even appears in the empirical literature. But wide-speared usage has brought about divergent interpretations of the term. We can distinguish a ‘moderate’ and a ‘zealous’ reading of ‘phenomenal consciousness’. On the moderate reading, ‘phenomenal consciousness’ just means ‘experience’. Many people have embraced this sense of the term and use it to roughly pick out conscious experience involving sensory quality (states like conscious visual experiences or conscious pains, for example).2 On the zealous reading, however, phenomenal consciousness is held to be ‘distinct from any cognitive, intentional, or functional property’ (Block 1995: 234). That is, any explanation of phenomenal consciousness in exclusively cognitive, intentional, or functional terms will fail to capture, without remainder, what is really distinctive about phenomenal consciousness. Block, of course, is fully clear about embracing the zealous reading; indeed, his initial introduction of the notion is in those terms. The same ambiguity occurs with the much-used (and abused) idea of ‘what-it’s-like-ness’.. (shrink)

Prologue: Toward a new Enlightenment -- From bounded to relational being -- Bounded being -- In the beginning is the relationship -- The relational self -- The body as relationship : emotion, pleasure and pain -- Relational being in everyday life -- Multi-being and the adventure of everyday life -- Bonds, barricades, and beyond -- Relational being in practice -- Knowledge as co-creation -- Education in a relational key -- Therapy as relational recovery -- Organizing : the precarious balance -- (...) From the moral to the sacred -- Beyond moral pluralism -- All our relations, approaching the sacred -- Epilogue: The coming of relational consciousness. (shrink)

Scientists and laypeople alike use the sense of understanding that an explanation conveys as a cue to good or correct explanation. Although the occurrence of this sense or feeling of understanding is neither necessary nor sufficient for good explanation, it does drive judgments of the plausibility and, ultimately, the acceptability, of an explanation. This paper presents evidence that the sense of understanding is in part the routine consequence of two well-documented biases in cognitive psychology: overconfidence and hindsight. In light of (...) the prevalence of counterfeit understanding in the history of science, I argue that many forms of cognitive achievement do not involve a sense of understanding, and that only the truth or accuracy of an explanation make the sense of understanding a valid cue to genuine understanding. (shrink)

Aquinas needs no introduction as one of the greatest minds of the middle ages. Highly influential on the development of Christian doctrine, his ideas are still of fundamental philosophical importance. This new critique of his natural law theory discusses the theory's background in Aristotle and advances new interpretations of contemporary legal issues which hark back to Aquinas.

"A fascinating and timely treatment of the objectivism versus relativism debates occurring in philosophy of science, literary theory, the social sciences, ...

The purpose of this text is to draw attention to eight forgotten heroes: William C. Bagley, Charles DeGarmo, David Felmley, William Torrey Harris, Isaac L. Kandel, Charles McMurry, William C. Ruediger, and Edward Austin Sheldon. They have been marginalized from our profession, and drawing upon their legacy is the best hope for restoring the profession of teaching today. This work also includes a chapter at the end of the book entitled "John Dewey's Forgotten Essays." The audience for this book includes: (...) 1) classroom teachers, 2) school administrators, 3) teacher educators, 4) deans and other university administrators, 5) college and university presidents, 6) legislators, 7) historians of education, 8) curriculum specialists, 9) specialists in teacher training, and 10) the general public. (shrink)

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive (...) functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice. (shrink)

This article reads Maurice Merleau-Ponty's ontology of the “flesh of the world” alongside the ontology that seems to undergird Frantz Fanon's sociodiagnostics as well as his theory of sociogeny. It argues that reading Fanonian sociogeny in terms of the ambiguity and intercorporeality of the flesh of the world renders the ethical and political imperatives of Fanon's decolonial project all the more pressing, since the “new human” is prefigured—if not totally determined—in the national consciousness obtained by “les damnés” through the decolonization (...) process. It then examines how Sylvia Wynter's Fanonian call to (re)fashion the future of humanness through (re)conceptualizing “being human as praxis,” also seems to rely on this ontology of the flesh of the world. Bringing these arguments together, the article suggests that the conceptual content of the new human can be found in the liberation struggles of les damnés across what Wynter calls the “poverty archipelagos” wrought by colonial humanism. Hence, the “new skin” for which Fanon calls is fashioned through forming international solidarity with les damnés, with the conceptual content of the new humanism emerging sociogenically—and autopoetically—from those struggles themselves. (shrink)

This book tells the story of idealism in modern philosophy, from the seventeenth century to the turn of the twenty-first. Paul Guyer and Rolf-Peter Horstmann define idealism as the reduction of all reality to something mental in nature. Rather than distinguishing between metaphysical and epistemological versions of idealism, they distinguish between metaphysical and epistemological motivations for idealism. They argue that while metaphysical arguments for idealism have only rarely been accepted, for example by Bishop Berkeley in the early eighteenth century and (...) the British idealists Bradley and McTaggart in the late nineteenth and early twentieth centuries, epistemological arguments for idealism have been widely accepted, even in the so-called analytic philosophy of the twentieth century. Guyer and Horstmann discuss many philosophers who have played a role in the development of idealism, from Descartes, Hobbes, Spinoza, Leibniz, Locke, Berkeley, and Hume, through Kant; the German idealists Fichte, Schelling, and Hegel; Schopenhauer and Nietzsche; the British and American idealists such as Green and Royce in addition to Bradley and McTaggart; G.E. Moore and Bertrand Russell, Neo-Kantians such as Ernst Cassirer; and twentieth-century philosophers such as Wittgenstein, Collingwood, Carnap, Sellars, and McDowell. (shrink)